Order:
  1.  9
    Constructive Well‐Orderings.Robin J. Grayson - 1982 - Mathematical Logic Quarterly 28 (33‐38):495-504.
  2.  26
    Constructive Well-Orderings.Robin J. Grayson - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (33-38):495-504.
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  13
    On closed subsets of the intuitionistic reals.Robin J. Grayson - 1983 - Mathematical Logic Quarterly 29 (1):7-9.